@Manual{ ocaml,
	title = "The Objective Caml system release 3.11 : Documentation and users manual",
	author = "Xavier Leroy",
	year = "2008"
}

@Electronic{ sideattacklounge,
	author = "Ringo Doe",
	title = "The Side Channel Cryptanalysis Lounge",
	month = jun,
	year = "2010",
	url = "http://www.crypto.ruhr-uni-bochum.de/en_sclounge.html",
	note = "\url{http://www.crypto.ruhr-uni-bochum.de/en_sclounge.html}"
}

@Misc{ sideattackintro,
	author = "Fabrice J.P.R. Pautot",
	title = "Some Formal Solutions in Side-channel Cryptanalysis - An Introduction",
	howpublished = "Cryptology ePrint Archive, Report 2008/508",
	year = "2008",
	note = "\url{http://eprint.iacr.org/}"
}

@Article{ sideattackfirst,
	title = "Introduction to differential Power Analysis and Related attacks",
	author = "J Jaffe D Jun {P Kocher}",
	year = "1998"
}

@Article{ sideattackintro2,
	title = "Information Security Analyst",
	author = "Hagai Bar-El",
	publisher = "",
	year = "2007"
}

@Book{ bib:fth,
	title = "Fault Tree Handbook",
	author = "W. E. Vesely; F. F. Goldberg; N. H. Roberts; D. F. Haasl",
	month = jan,
	year = "1981"
}

@Book{ bib:hatss,
	title = "Hazard analysis techniques for system safety",
	author = "Ericson, Clifton A.",
	year = "2005"
}

@Book{ bib:esw,
	title = "Engineering a Safer World : Systems Thinking Applied to Safety - Draft",
	author = "Nancy G. Leveson",
	month = jul,
	year = "2009"
}
